Search scope:
排序： Display mode:
Fairness analysis of extra-gain guilty of a non-repudiation protocol Research Articles
Xu GUO
Frontiers of Information Technology & Electronic Engineering 2022, Volume 23, Issue 6, Pages 893-908 doi: 10.1631/FITEE.2100413
Many traditional applications can be refined thanks to the development of blockchain technology. One of these services is , in which participants in a communication process cannot deny their involvement. Due to the vulnerabilities of the protocols, one of the parties involved in the communication can often avoid rules and obtain the expected information to the detriment of the interests of the other party, resulting in adverse effects. This paper studies the fairness guarantee quantitatively through . E-fairness is measured by modeling the protocol in probabilistic timed automata and verifying the appropriate property specified in the probabilistic computation tree logic. Furthermore, our analysis proposes insight for choosing suitable values for different parameters associated with the protocol so that a certain degree of fairness can be obtained. Therefore, the reverse question—for a certain degree of fairness ε, how can the protocol parameters be specified to ensure fairness—is answered.
Keywords： Non-repudiation Fairness analysis Probabilistic model checking PRISM
Title Author Date Type Operation
京公网安备 11010502051620号
